A Unified Type System for Object-Oriented Programming

Building a Unified Programming Environment for Object-Oriented Concurrent Languages

Introducing Hybrid: A Unified Object-Oriented System

Hybrid is a data abstraction language that attempts to unify a number of object-oriented concepts into a single, coherent system. In this paper we give an overview of our object model, describe a number of the language constructs, and briefly discuss the issue of object management.

The Object Oriented Programming for Queuing System

The object oriented programming approach for priority service systems with orientation is developed. It provide fast evaluation of the characteristics.

Object-oriented programming in dependent type theory

We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interfaces, and the interaction between a fixed number of objects, including self-referential method calls. We introduce a monad like syntax for developing objects in dependent type theory.

An Object-Oriented Programming System in TEX

This paper describes the implementation of an object-oriented programming system in TEX. The system separates formatting procedures from the document markup. It offers design programmers the benefits of object-oriented programming techniques. The inspiration for these macros comes from extensive book-production experience with W&X. This paper is a companion to Arthur Ogawa's "Object-Oriented Pr...